Books by author Henk Barendregt

Showing 1 – 4 out of 4 results

1. 

   Lambda Calculus with Types

   Henk Barendregt | Cambridge University Press, 2013

   
   

   In stock at our supplier - Shipping in 15 - 20 days

   Language: English

   Binding: Hardback

   105.59 €

   Buy
2. 

   Lambda Calculus. Its Syntax and Semantics

   Henk Barendregt | College Publications, 2012

   
   

   In stock at our supplier - Shipping in 15 - 20 days

   Language: English

   Binding: Paperback

   35.80 €

   Buy
3. 

   Some Extensional Term Models for Combinatory Logics and Lambda Calculi 1971

   Henk Barendregt | Independently Published, 2020

   
   

   In stock at our supplier - Shipping in 15 - 20 days

   Language: English

   Binding: Paperback

   20.68 €

   Sale 1 %

   You save 0.40 €

   Buy
4. 

   Types for Proofs and Programs

   Henk Barendregt, Tobias Nipkow | Springer, Berlin, 1994

   
   

   Low in stock at our supplier - Shipping in 10 - 15 days

   Language: English

   Binding: Paperback

   61.77 €

   Buy

Free shipping for orders over 59.99 €. Find out more